From bf9ed44aa69f3a4c238f05456d462877fea601f7 Mon Sep 17 00:00:00 2001
From: Christian Persch <chpe@gnome.org>
Date: Mon, 18 Nov 2013 21:21:49 +0100
Subject: [PATCH] revealer: Respect gtk-enable-animations setting

https://bugzilla.gnome.org/show_bug.cgi?id=712632
---
 gtk/gtkrevealer.c | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/gtk/gtkrevealer.c b/gtk/gtkrevealer.c
index d872fcdcf3..8ecff6c95f 100644
--- a/gtk/gtkrevealer.c
+++ b/gtk/gtkrevealer.c
@@ -41,6 +41,9 @@
  * The style of transition can be controlled with
  * gtk_revealer_set_transition_type().
  *
+ * These animations respect the #GtkSettings::gtk-enable-animations
+ * setting.
+ *
  * The GtkRevealer widget was added in GTK+ 3.10.
  */
 
@@ -268,6 +271,13 @@ static GtkRevealerTransitionType
 effective_transition (GtkRevealer *revealer)
 {
   GtkRevealerPrivate *priv = gtk_revealer_get_instance_private (revealer);
+  gboolean animations_enabled;
+
+  g_object_get (gtk_widget_get_settings (GTK_WIDGET (revealer)),
+                "gtk-enable-animations", &animations_enabled,
+                NULL);
+  if (!animations_enabled)
+    return GTK_REVEALER_TRANSITION_TYPE_NONE;
 
   if (gtk_widget_get_direction (GTK_WIDGET (revealer)) == GTK_TEXT_DIR_RTL)
     {
-- 
2.30.2